Statistical treatment of nuclear counting results
نویسندگان
چکیده
منابع مشابه
Local Search for Statistical Counting
In this paper, statistical counting is introduced in the context of stochastic local search. From a sample of trajectories by independent local search computations, it is shown that interesting statistical information can be actually extracted about the search space, most notably an unbiased estimate of the number of solutions. Computational results for random #SAT instances are provided.
متن کاملSurgical treatment results of acute acromioclavicular injuries
Abstract Background: Different methods of surgical treatment for acromioclavicular(AC) joint injury were considered in the literature. The purpose of the study was to compare intra- articular AC repair technique with the extra-articular coracoclavicular repair technique for the patients with Rockwood type III and VAC joint injury when indicated. Methods: Nineteen consecutive patients wi...
متن کاملCounting Results in Weak Formalisms
The counting ability of weak formalisms is of interest as a measure of their expressive power. The question was investigated in several papers in complexity theory [ABO84,FKPS85,DGS86] and in weak arithmetic [PW87]. In each case, the considered formalism (AC0{circuits, rst{order logic, 0, respectively) was shown to be able to count precisely up to a polylogarithmic number. An essential part of ...
متن کاملBit-Vector Model Counting using Statistical Estimation
Approximate model counting for bit-vector SMT formulas (generalizing #SAT) has many applications such as probabilistic inference and quantitative information-flow security, but it is computationally difficult. Adding random parity constraints (XOR streamlining) and then checking satisfiability is an effective approximation technique, but it requires a prior hypothesis about the model count to p...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Nuclear Technology and Radiation Protection
سال: 2011
ISSN: 1451-3994,1452-8185
DOI: 10.2298/ntrp1102164d